Knihy od autora Eerke A. Boiten

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Refinement in Z and Object-Z

   John Derrick, Eerke A. Boiten | Springer, Berlin, 2001

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Brožovaná

   3929 Kč

   Koupit
2. 

   Integrated Formal Methods

   Eerke A. Boiten, John Derrick, Graeme Smith | Springer, Berlin, 2004

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
3. 

   Mathematics of Program Construction

   Eerke A. Boiten, Bernhard Möller | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit
4. 

   Refinement

   John Derrick, Eerke A. Boiten | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   1681 Kč

   Koupit
5. 

   Refinement in Z and Object-Z

   John Derrick, Eerke A. Boiten | Springer London Ltd, 2013

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-17 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3313 Kč

   Koupit

Zboží můžete bez udání důvodů do měsíce vrátit. Zjistěte více